Type inference for record concatenation and subtyping
نویسندگان
چکیده
منابع مشابه
Type inference for record concatenation and subtyping
Record concatenation, multiple inheritance, and multiple-object cloning are closely related and part of various language designs. For example, in Cardelli’s untyped Obliq language, a new object can be constructed from several existing objects by cloning followed by concatenation; an error is given in case of field name conflicts. Type systems for record concatenation have been studied by Wand, ...
متن کاملA Type System for Record Concatenation and Subtyping
We deene an extension of a second-order type system with records, subtyping and record concatenation. This system can model the most important concepts of object-oriented languages. The novelty in our approach is that concatenation is only permitted if the types on common elds agree. We give examples of how object-oriented concepts can be modeled and show how the system can be translated to a t...
متن کاملType Inference for Record Concatenation and Multiple Inheritance
We show that the type inference problem for a lambda calculus with records, including a record concatenation operator, is decidable. We show that this calculus does not have principal types, but does have nite complete sets of types: that is, for any termM in the calculus, there exists an e ectively generable nite set of type schemes such that every typing for M is an instance of one the scheme...
متن کاملType Inference and Principal Typings for Symmetric Record Concatenation and Mixin Modules
The obvious simple type system for a λ-calculus extended with recordconcatenation has a typability problem that was believed to be expensive,and which we prove NP-complete. Some previous approaches to this prob-lem employ subtyping polymorphism. We present Bowtie, a system of simpletypes for record concatenation which has principal typings, no subtyping, anda clean separatio...
متن کاملType Inference for the Mixture of Matching and Implicit Subtyping
We present a type inference system for a language with object-oriented features such as polymorphic record access and subtyping. We separate the notion of matching and subtyping in order to avoid di culties caused by recursive type constraints. We will use two kinds of type constraints | record (variant) constraints and subtyping constraints. Then, we discuss simpli cation of such mixed type co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2004
ISSN: 0890-5401
DOI: 10.1016/j.ic.2003.10.001